Ident. | Authors (with country if any) | Title |
---|
000A94 |
Christine Berthaud [France] ; Laurent Capelli [France] ; Jens Gustedt [France] ; Claude Kirchner [France] ; Kevin Loiseau [France] ; Agnès Magron [France] ; Maud Medves [Allemagne] ; Alain Monteil [France] ; Gaëlle Riverieux [France] ; Laurent Romary [Allemagne] | EPISCIENCES - an overlay publication platform |
001268 |
Antoine Rousseau [France] ; Aurélie Darnaud [France] ; Brice Goglin [France] ; Céline Acharian [France] ; Christine Leininger [France] ; Christophe Godin [France] ; Clarisse Holik [France] ; Claude Kirchner [France] ; Diane Rives ; Elodie Darquie ; Erwan Kerrien [France] ; Fabrice Neyret [France] ; Florent Masseglia [France] ; Florian Dufour [France] ; Gérard Berry [France] ; Gilles Dowek [France] ; Hélène Robak [France] ; Hélène Xypas ; Irina Illina [France] ; Isabelle Gnaedig [France] ; Joanna Jongwane [France] ; Jocelyne Ehrel ; Laurent Viennot [France] ; Laure Guion ; Lisette Calderan [France] ; Lola Kovacic ; Marie Collin ; Marie-Agnès Enard ; Marie-Hélène Comte [France] ; Martin Quinson [France] ; Martine Olivi [France] ; Mathieu Giraud [France] ; Mathilde Dorémus ; Mia Ogouchi [France] ; Muriel Droin ; Nathalie Lacaux ; Nicolas Rougier [France] ; Nicolas Roussel [France] ; Pascal Guitton [France] ; Pierre Peterlongo [France] ; Rose-Marie Cornus ; Simon Vandermeersch ; Sophie Maheo ; Sylvain Lefebvre [France] ; Sylvie Boldo [France] ; Thierry Viéville [France] ; Véronique Poirel [France] ; Aline Chabreuil ; Arnaud Fischer ; Claude Farge ; Claude Vadel ; Isabelle Astic ; Jean-Pierre Dumont ; Loic Féjoz [France] ; Patrick Rambert ; Pierre Paradinas ; Sophie De Quatrebarbes ; Stéphane Laurent [Belgique] | Médiation Scientifique : une facette de nos métiers de la recherche |
002380 |
Claude Kirchner [France] ; Helene Kirchner [France] ; Fabrice Nahon [France] | Narrowing Based Inductive Proof Search |
002C07 |
Sansom Abramski ; Cyril Gavoille [France] ; Claude Kirchner [France] ; Friedhelm Meyer Auf Der Heide ; Paul G. Spirakis | Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Bordeaux, France, July 6-10, 2010, Part I & II. Volume 6198 & 6199 of Lecture Notes in Computer Science (ARCoSS) |
002E28 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] | Anti-patterns for Rule-based Languages |
003171 |
Guillaume Burel [France] ; Claude Kirchner [France] | Regaining cut admissibility in deduction modulo using abstract completion |
003521 |
Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Cláudia Tavares [France] | A Type System for Tom |
003687 |
Véronique Cortier [France] ; Claude Kirchner [France] ; Mitsuhiro Okada [Japon] ; Hideki Sakurada [Japon] | Formal to practical Security |
003942 |
Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Paul Brauner [France] | Inductive proof search modulo |
003F50 |
Anderson Santana De Oliveira [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Analysis of Rewrite-Based Access Control Policies |
004635 |
Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] | Anti-Pattern Matching Modulo |
004670 |
Anderson Santana De Oliveira [France] ; Eric Ke Wang ; Claude Kirchner [France] ; Hélène Kirchner [France] | Weaving Rewrite-Based Access Control Policies |
004759 |
Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Inductive Proof Search Modulo |
004808 |
Paul Brauner [France] ; Clement Houtmann [France] ; Claude Kirchner [France] | Principles of Superdeduction |
004862 |
Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | Towards a sharing strategy for the graph rewriting calculus |
004865 |
Paul Brauner [France] ; Clément Houtmann [France] ; Claude Kirchner [France] | Superdeduction at work |
004898 |
Guillaume Burel [France] ; Claude Kirchner [France] | Cut Elimination in Deduction Modulo by Abstract Completion |
004A76 |
Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | A rewriting calculus for cyclic higher-order term graphs |
004A79 |
Horatiu Cirstea [France] ; Germain Faure [France] ; Claude Kirchner [France] | A Rho-Calculus of explicit constraint application |
004B67 |
Clara Bertolissi [France] ; Claude Kirchner [France] | The Rewriting Calculus as a Combinatory Reduction System |
004D06 |
Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] | Anti-pattern Matching |
004E91 |
Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France] | Anti-Pattern Matching Modulo |
005075 |
Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal Islands |
005103 |
Guillaume Burel [France] ; Claude Kirchner [France] | Completion is an Instance of Abstract Canonical System Inference |
005157 |
Olivier Bournez [France] ; Florent Garnier [France] ; Claude Kirchner [France] | Termination in finite mean time of a CSMA/CA rule-based model |
005172 |
Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De Oliveira [France] | Modular Formal Islands: Embed theory in your practice |
005206 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] | Decidable Type Inference for the Polymorphic Rewriting Calculus |
005254 |
Horatiu Cirstea [France] ; Clara Bertolissi [France] ; Claude Kirchner [France] | Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus |
005602 |
Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] | Formal islands |
005605 |
Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | Expressing combinatory reduction systems derivations in the rewriting calculus |
005623 |
Nachum Dershowitz [Israël] ; Claude Kirchner [France] | Abstract canonical presentations |
005642 |
Claude Kirchner [France] | Sécurité Informatique: Introduction |
005703 |
Olivier Bournez [France] ; Garnier Florent [France] ; Claude Kirchner [France] | Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b |
005968 |
Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France] | Formal Validation of Pattern Matching Code |
005A76 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; Anderson Santana De Oliveira [France] | Anchoring modularity in HTML. |
005A80 |
Horatiu Cirstea [France] ; Emmanuel Coquery [France] ; Wlodzimierz Drabent ; Francois Fages [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] ; Artur Wilk [Suède] | Types for REWERSE reasoning and query languages I3-D4 |
005C52 |
Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | A rewriting calculus for cyclic higher-order term graphs |
006600 |
Clara Bertolissi [France] ; Paolo Baldan [Italie] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | A rewriting calculus for cyclic higher-order term graphs |
006666 |
Horatiu Cirstea [France] ; Germain Faure [France] ; Claude Kirchner [France] | A rho-calculus of explicit constraint application. |
006682 |
Claude Kirchner [France] | L'Action Concerté Incitative Sécurité et Informatique |
006A79 |
Claude Kirchner [France] | L’action concertée incitative Sécurité et informatique |
006B37 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-Based Programming and Proving: The ELAN Experience Outcomes |
006D61 |
Olivier Bournez [France] ; Florent Garnier [France] ; Claude Kirchner [France] | Stratégies de réécriture probabiliste dans ELAN4 |
006E56 |
Horatiu Cirstea [France] ; Emmanuel Coquery [France] ; Wlodzimierz Drabent ; Francois Fages [France] ; Claude Kirchner [France] ; Jan Maluszynski ; Benjamin Wack [France] | Types for Web Rule Languages: a preliminary study |
006E81 |
Claude Kirchner [France] | Strategic Rewriting |
006E95 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-based programming and proving: the ELAN experience outcomes |
006F11 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France] | Production and Rewrite Systems |
006F12 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France] | Production Systems and Rewrite Systems |
006F13 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France] | Production Systems and Rete Algorithm Formalisation |
006F14 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France] | Production Systems and Rete Algorithm Formalisation |
006F84 |
Eric Deplagne [Belgique] ; Claude Kirchner [France] | Induction as Deduction Modulo |
007220 |
Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang-Huy Nguyen [France] | Proof Search and Proof Check for Equational and Inductive Theorems |
007236 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] | Rewrite Strategies in the Rewriting Calculus |
007255 |
Nachum Dershowitz [Canada] ; Claude Kirchner [France] | Abstract Saturation-based Inference |
007291 |
Gilles Barthe [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Pure Patterns Type Systems |
007981 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Theorem Proving Modulo |
007D32 |
Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] | Translating Combinatory Reduction Systems into the Rewriting Calculus |
007D38 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Theorem Proving Modulo Revised Version |
007D40 |
Mohamed El Habib ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] | The QSL platform at LORIA |
007F41 |
Claude Kirchner [France] | Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02) |
007F46 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Binding Logic: proofs and models |
007F50 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Rewriting Calculus with(out) Types |
007F89 |
Germain Faure [France] ; Claude Kirchner [France] | Exceptions in the rewriting calculus |
007F90 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] | The rho cube : some results, some problems |
008010 |
Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic rewrite strategies. Applications to ELAN |
008018 |
Germain Faure [France] ; Claude Kirchner [France] | Exceptions in the rewriting calculus |
008020 |
Eric Deplagne [France] ; Claude Kirchner [France] | Deduction versus Computation: the Case of Induction |
008021 |
Nachum Dershowitz ; Claude Kirchner [France] | Abstract Canonical Inference Systems |
008764 |
Olivier Bournez [France] ; Claude Kirchner [France] | Probabilistic Rewrite Strategies. Applications to ELAN |
008808 |
Germain Faure [France] ; Claude Kirchner [France] | Exceptions in the Rewriting Calculus |
008815 |
Eric Deplagne [France] ; Claude Kirchner [France] | Deduction versus Computation: The Case of Induction |
008832 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Binding Logic: Proofs and Models |
008914 |
Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from a rewriting logic point of view |
008A49 |
Carlos Castro [France] ; Claude Kirchner [France] | Towards a Methodology for Rule-Based Programming |
008B44 |
Quang-Huy Nguyen [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | External rewriting for skeptical proof assistants (extended version) |
008C23 |
Nachum Dershowitz ; Claude Kirchner [France] | Inversion Strategies |
008C92 |
Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France] | Verification of Timed Automata Using Rewrite Rules and Strategies |
008C93 |
Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France] | Verification of Timed Automata Using Rewrite Rules and Strategies |
008D07 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Matching Power |
008D14 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | The Rho Cube |
008E10 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
009265 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | The Rho Cube |
009331 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Matching Power |
009441 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Matching power |
009513 |
Claude Kirchner [France] | ELAN : Modélisation et preuve en calcul de réécriture |
009532 |
Claude Kirchner [France] ; Zhebin Qian [France] ; Preet Kamal Singh [France] ; Jürgen Stuber [France] | Xemantics: a Rewriting Calculus-Based Semantics of XSLT |
009555 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The Rewriting Calculus - Part II |
009556 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The Rewriting Calculus - Part I |
009587 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Rewriting and Multisets in Rho-calculus and ELAN |
009751 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The simply typed rewriting calculus |
009762 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Rewriting and Multisets in the Rewriting Calculus and ELAN |
009793 |
Claude Kirchner [France] | ELAN ou la programmation par réécriture |
009D05 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The simply typed rewriting calculus |
009D47 |
Eric Domenjoud [France] ; Claude Kirchner [France] ; Jianyang Zhou [France] | Generating Feasible Schedules for a Pick-up and Delivery Problem |
009E84 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | Higher Order Unification via Explicit Substitutions |
00A130 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The Rewriting Calculus |
00A186 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | Matching Power |
00A296 |
Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] | A Rho Cube |
00A349 |
Claude Kirchner [France] | The rewriting calculus as a semantics to strategy application. Application to ELAN. |
00A350 |
Gilles Dowek ; Thérèse Hardin ; Claude Kirchner [France] | HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic |
00A362 |
Claude Kirchner [France] | Deduction and theorem proving modulo |
00A467 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
00A482 |
Claude Kirchner [France] ; Hubert Comon ; Mehmet Dincbas ; Jean-Pierre Jouannaud | A Methodological View of Constraint Solving |
00A992 |
Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France] | HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic |
00AA59 |
Hubert Comon [France] ; Mehmet Dincbas [France] ; Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] | A Methodological View of Constraint Solving |
00AB98 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Using Rewriting and Strategies for Describing the B Predicate Prover |
00AC85 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Introduction to the Rewriting Calculus |
00AD01 |
Eric Domenjoud [France] ; Claude Kirchner [France] ; Jianyang Zhou [France] | Generating feasible schedules for a pick-up and delivery problem |
00AD21 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from the rewriting logic point of view |
00AE96 |
Claude Kirchner [France] ; Christophe Ringeissen [France] | Rule-Based Constraint Programming |
00B313 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | The Rewriting Calculus as a Semantics of ELAN |
00B362 |
Eric Domenjoud [France] ; Claude Kirchner [France] ; Jianyang Zhou [France] | Generating feasible schedules for a pick-up and delivery problem |
00B546 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Using Rewriting and Strategies for Describing the B Predicate Prover |
00B550 |
Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France] ; Frank Pfenning | Unification via Explicit Substitutions: The Case of Higher-Order Patterns |
00B557 |
Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France] | Theorem Proving Modulo |
00B587 |
Peter Borovansky [France] ; Claude Kirchner ; Hélène Kirchner | Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language |
00B641 |
Gilles Dowek [France] ; Thérèse Hardin ; Claude Kirchner [France] | Holls: an Intentional First-Order Expression of Higher-Order Logic |
00B645 |
Eric Domenjoud [France] ; Claude Kirchner ; Jianyang Zhou | Generating feasible schedules for a pick-up and delivery problem |
00B678 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN |
00B679 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version |
00B687 |
Claude Kirchner [France] ; Hélène Kirchner | Automated Deduction - CADE-15 |
00B695 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | An Overview of ELAN |
00B708 |
Peter Borovansky [France] ; Claude Kirchner ; Hélène Kirchner | A functional view of rewriting and strategies for a semantics of ELAN |
00B728 |
Horatiu Cirstea [France] ; Claude Kirchner [France] | $\rho$-Calculus. Its Syntax and Basic Properties |
00BC45 |
Claude Kirchner [France] ; Christophe Ringeissen [France] | Higher-order equational unification via explicit substitutions |
00C006 |
Ilies Alouini [France] ; Claude Kirchner [France] | Toward the concurrent implementation of computational systems |
00C067 |
Claude Kirchner [France] ; Christopher Lynch [France] ; Christelle Scharff [France] | Fine-grained concurrent completion |
00C161 |
Iliès Alouini [France] ; Claude Kirchner [France] | Conditional Concurrent Rewriting |
00C165 |
Claude Kirchner [France] ; Christopher Lynch ; Christelle Scharff | A Fine-Grained Concurrent Completion Procedure |
00C703 |
Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Sort inheritance for order-sorted equational presentations |
00C833 |
Gilles Dowek ; Thérèse Hardin ; Claude Kirchner [France] | Higher Order Unification via Explicit Substitutions |
00CD30 |
Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Dynamically-typed computations for order-sorted equational presentations |
00CD92 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Claude Kirchner [France] | Dynamically-typed computations for order-sorted equational presentations |
00D669 |
Claude Kirchner [France] ; Patrick Viry [France] | Implementing parallel rewriting |
00DE09 |
Claude Kirchner [France] | Tutorial on equational unification |
00DE35 |
Claude Kirchner [France] ; Patrick Viry [France] | Implementing parallel rewriting |
00DE60 |
Mohamed Adi [France] ; Claude Kirchner [France] | AC-unification race: The system solving approach and its implementation |
00DE70 |
Claude Kirchner [France] ; Hélène Kirchner ; Michaël Rusinowitch | Deduction with symbolic constraints |
00E343 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; José Meseguer [États-Unis] | Operational semantics of OBJ-3 |
00E348 |
Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Aristide Mégrelis [France] | OBJ: Programming with equalities, subsorts, overloading and parameterization |
00E358 |
Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Equational completion in order-sorted algebras extended abstract |
00EA42 |
Pierre Rety [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre Lescanne [France] | NARROWER: a new algorithm for unification and its application to Logic Programming |
00EA44 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Implementation of a general completion procedure parameterized by built-in theories and strategies |
00ED11 |
Jean Pierre Jouannaud [France] ; Claude Kirchner [France] ; Helene Kirchner [France] | Incremental construction of unification algorithms in equational theories |